logic programming

См. также в других словарях:

• Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

• Logic Programming —   [engl.], Logikprogrammierung …   Universal-Lexikon

• logic programming — loginis programavimas statusas T sritis informatika apibrėžtis Programavimo būdas, kai programa grindžiama loginiais sąryšiais – faktais ir iš jų išplaukiančiomis išvadomis. Loginį programavimą geriausiai iliustruoja „Prolog“ kalba. atitikmenys:… …   Enciklopedinis kompiuterijos žodynas

• Logic Programming Associates — is a company specializing in logic and artificial intelligence software. It was founded in 1980 and is most widely known for its Prolog compilers such as WIN PROLOG. External links* [http://www.lpa.co.uk/ind pro.htm LPA home page] *… …   Wikipedia

• logic programming — noun 1. a computer language designed in Europe to support natural language processing • Syn: ↑Prolog, ↑logic programing • Hypernyms: ↑programming language, ↑programing language 2. creating a program that enables the computer to reason logically …   Useful english dictionary

• Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing …   Wikipedia

• Concurrent constraint logic programming — is a version of constraint logic programming aimed primarily at programming concurrent processes rather than (or in addition to) solving constraint satisfaction problems. Goals in constraint logic programming are evaluated concurrently; a… …   Wikipedia

• Abductive logic programming — is a high level knowledge representation framework that can be used to solve problems declaratively based on abductive reasoning. It extends normal Logic Programming by allowing some predicates to be incompletely defined, declared as abducible… …   Wikipedia

• Inductive logic programming — (ILP) is a subfield of machine learning which uses logic programming as a uniform representation for examples, background knowledge and hypotheses. Given an encoding of the known background knowledge and a set of examples represented as a logical …   Wikipedia

• Multi-adjoint logic programming — Multi adjoint logic programming[1] means to express a computer program in the language of multi adjoint logic. The definition of a multi adjoint logic program is given, as usual in fuzzy logic programming, as a set of weighted rules and facts of… …   Wikipedia

• International Conference on Logic Programming — The International Conference on Logic Programming (ICLP) is an annual academic conference on the topic of logic programming. It is sponsored by the Association for Logic Programming (ALP). The conference consists of peer reviewed papers with the… …   Wikipedia